DE eng

Search in the Catalogues and Directories

Page: 1 2
Hits 1 – 20 of 23

1
Challenges in Natural Language Processing
In: Computational linguistics. - Cambridge, Mass. : MIT Press 21 (1995) 1, 120-123
OLC Linguistik
Show details
2
The future of computational linguistics
In: Challenges in natural language processing (Cambridge [etc.], 1993), p. 283-288
MPI für Psycholinguistik
Show details
3
Critical challenges for natural language processing
In: Challenges in natural language processing (Cambridge [etc.], 1993), p. 3-36
MPI für Psycholinguistik
Show details
4
Challenges in natural language processing
Bates, Madeleine; Weischedel, Ralph M.. - Cambridge [etc.] : Cambridge University Press, 1993
MPI für Psycholinguistik
Show details
5
Challenges in natural language processing
Bates, Madeleine (Hrsg.); Weischedel, Ralph M. (Hrsg.). - Cambridge [u.a.] : Cambridge Univ. Press, 1993
BLLDB
UB Frankfurt Linguistik
Show details
6
The future of computational linguistics
In: Challenges in natural language processing. - Cambridge [u.a.] : Cambridge Univ. Press (1993), 283-288
BLLDB
Show details
7
Critical challenges for natural language processing
In: Challenges in natural language processing. - Cambridge [u.a.] : Cambridge Univ. Press (1993), 3-34
BLLDB
Show details
8
Multiple underlying systems : translating user requests into programs to produce answers
In: Association for Computational Linguistics. Proceedings of the conference. - Stroudsburg, Penn. : ACL 28 (1990), 227-234
BLLDB
Show details
9
Portability in the Janus Natural Language Interface
In: DTIC (1989)
BASE
Show details
10
Research and Development in Natural Language Understanding as Part of the Strategic Computing Program
In: DTIC AND NTIS (1989)
BASE
Show details
11
A new semantic computation while parsing : presupposition and entailment
In: Readings in natural language processing. - Los Altos, Calif. : Morgan Kaufmann (1986), 313-326
BLLDB
Show details
12
Out of the Laboratory: A Case Study with the IRUS Natural Language Interface
In: DTIC (1986)
BASE
Show details
13
Special issue on ill-formed input
Carbonell, Jaime G. (Mitarb.); Hayes, Philip J. (Mitarb.); Jensen, K. (Mitarb.)...
In: American journal of computational linguistics. - Menlo Park, Calif. : SRI International 9 (1983) 3-4, 123-198
BLLDB
Show details
14
Prerequisites for Deriving Formal Specifications from Natural Language Requirements.
In: DTIC AND NTIS (1983)
BASE
Show details
15
Handling Ill-Formed Input: Session Introduction
In: DTIC AND NTIS (1983)
BASE
Show details
16
Design of a System That Understands Informal Specifications.
In: DTIC AND NTIS (1983)
BASE
Show details
17
Mapping between Semantic Representations Using Horn Clauses.
In: DTIC AND NTIS (1983)
BASE
Show details
18
Prerequisites to Deriving Formal Specifications from Natural Language Requirements.
In: DTIC AND NTIS (1981)
Abstract: Since English specifications and formal specifications of modules are complementary and since formal specifications require so much effort to write, our work is investigating application of artificial intelligence techniques to aid in the software specification process. The first area studied is comparing English descriptions with formal specifications of the same software module. This work is now complete; however, some of the examples will continue to serve as a guide to the software tool being constructed. The second area is suggesting modifications to formal specification languages, which would make them more understandable. In particular, we have been suggesting alternatives to logical quantifiers. The third and fourth areas deal with the syntactic and semantic components of an experimental software tool. Its purpose is to test our solutions to a handful of problems in transforming English descriptions to formal specifications under significant user assistance. In dealing with syntactic ambiguity, one of the solutions that many have spectulated about is the use of a semantic component to reject anomolous parses; we intend to test its effectiveness using the RUS grammar. When ambiguity is not resolved, questions must be presented to the user for his/her selection of the intended interpretation. Partial heuristics for this are part of the results of this year's effort. In addition, modification of the RUS parser and dictionary for the domain of software specification will continue during the next year.
Keyword: *COMPUTER PROGRAMMING; *INFORMATION PROCESSING; *SPECIFICATIONS; *TECHNICAL WRITING; Ambiguity; ARTIFICIAL INTELLIGENCE; Bionics; Computer Programming and Software; COMPUTER PROGRAMS; ENGLISH LANGUAGE; HEURISTIC METHODS; Information Science; Linguistics; MAN COMPUTER INTERFACE; MODULAR CONSTRUCTION; NATURAL LANGUAGE; PARSERS; PE61102F; PROGRAMMING LANGUAGES; SEMANTICS; Software specifications; Specification writing; SYNTAX; WUAFOSR2304A2
URL: http://www.dtic.mil/docs/citations/ADA108612
http://oai.dtic.mil/oai/oai?&verb=getRecord&metadataPrefix=html&identifier=ADA108612
BASE
Hide details
19
Prerequisites to Deriving Formal Specifications from Natural Language Requirements.
In: DTIC AND NTIS (1980)
BASE
Show details
20
A new semantic computation while parsing : presupposition and entailment
In: Syntax and semantics. - Leiden : Brill 11 (1979), 155-182
BLLDB
Show details

Page: 1 2

Catalogues
1
0
1
0
0
0
0
Bibliographies
7
0
0
0
0
0
0
0
3
Linked Open Data catalogues
0
Online resources
0
0
0
0
Open access documents
12
0
0
0
0
© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern